The study of business ethics has led to the development of various principles that are the foundation of good and ethical business practices. A corresponding study of Information Technology (IT) professionals’ ethics has led to the conclusion that good ethics in the development and uses of information technology correspond to the basic business principle that good ethics is good business. Ergo, good business ethics practiced by IT professionals is good IT ethics and vice versa. IT professionals are professionals in businesses; (...) a difficulty presented to these professionals, however, is the number and diversity of codes of ethics to which they may be held. Considering the existence of several formalized codes of ethics prepared by various IT professionals’ associations, a more harmonized approach seems more reasonable. This paper attempts to present a review of the purpose of codes of ethics, the persons who should be covered by such codes and to organize codes of ethics for business in general and IT professionals in particular and to make the argument that, once again, good ethics is good business practice, regardless of the profession or occupation concerned. (shrink)

It may be argued that the language of mathematics is about the category\nof sets, although the definite article requires some justification.\nAs possible worlds of mathematics we may admit all models of type\ntheory, by which we mean all local toposes. For an intuitionist,\nthere is a distinguished local topos, namely the so-called free topos,\nwhich may be constructed as the Tarski–Lindenbaum category of intuitionistic\ntype theory. However, for a classical mathematician, to pick a distinguished\nmodel may be as difficult as to define the notion of (...) truth in classical\ntype theory, which Tarski has shown to be impossible. Author Keywords:\nAuthor Keywords: Type theory; Categorical logic; Category of sets;\nTopos theory *1 I wish to thank Elaine Landry for organizing a symposium\nat Brock University in 1996, at which an earlier version of this\npaper was presented, and Phil Scott for helpful discussions. Support\nfrom the Social Sciences and Humanities Research Council of Canada\nis herewith acknowledged. (shrink)

• Session on CF&FCT proposed by E. Landry; participants: G. Hellman, E. Landry, J.-P. Marquis and C. McLarty..